Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
471	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
472	Accelerated Training of Max-Margin Markov Networks with Kernels Xinhua Zhang1 , Ankan Saha2 , and S.V.N. Vishwanathan3 1 Department of Computing Science, University of Alberta, Edmonton, Canada Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-08-23 10:07:10 Distribution Lie algebras Proof theory Root system Locally convex topological vector space Mathematical analysis Functional analysis Constructible universe
473	yet another variation on the proof of theorem e E. L. Lady We fix a point p ∈ S and a parametrization X in a neighborhood of p. (We may Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:48:42 Mathematics Trigonometry Coordinate systems Matrices Estimation theory
474	Making Σ-Protocols Non-Interactive without Random Oracles Pyrros Chaidos, Jens Groth University College London Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-27 08:17:32 Applied mathematics Mathematics Complexity classes Metalogic Zero-knowledge proof Soundness IP NP Completeness Theoretical computer science Cryptographic protocols Proof theory
475	Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed IIT Kanpur Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 00:34:28 Propositional calculus Mathematical logic Logical truth Rule of inference Natural deduction Algorithm Maths24 PROPT Logic Deduction Proof theory
476	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
477	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
478	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
479	Proof by bootstrapping Jordan Bell Department of Mathematics, University of Toronto May 4, 2015 The Oxford English Dictionary defines “to bootstrap” as the following: Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2015-05-05 10:33:25 Operator theory Functional analysis Spectral theory Multivariable calculus Partial differential equation Distribution Hilbert space Heat equation Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
480	All About Generalized Interval Distributive Relations. I. Complete Proof of the Relations. Evgenija D. Popova Institute of Mathematics & Informatics, Bulgarian Academy of Sciences Acad. G. Bonchev Str., block 8, BG-1113 Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:01 Algebraic structures Order theory Mathematical structures Elementary algebra Interval arithmetic Distributive property Vector space Total order Pointwise Mathematics Algebra Abstract algebra

UPDATE